M.X == {x:Id| x  dom(1of(M)) } 

latex

---

clarification:

M.X == {x:Id| fpf-dom(IdDeq; x; 1of(M)) } 

latex

Definitions	1of(t), IdDeq, x  dom(f), b, Id
FDL editor aliases	ma-X